<?php
$$a;